International Conference on Functional Programming - PDFSEARCH.IO - Document Search Engine

International Conference on Functional Programming
Results: 84

#	Item
11	We Need Real Tools for Generating Type Inferencers William E. Byrd Nada Amin Add to Reading List Source URL: popl-obt-2014.cs.brown.edu Language: English - Date: 2014-01-15 09:36:35 Software engineering Computing Software Functional programming Programming paradigms International Conference on Functional Programming Domain-specific language Compiler Type system Declarative programming Programming language
12	The Functioning of ICFP Version 2015 On behalf of the ICFP Steering Committee Inspired by the Principles of POPL and the Practices of PLDI Add to Reading List Source URL: www.icfpconference.org Language: English - Date: 2015-11-28 23:17:14 Computer science Functional programming International Conference on Functional Programming Computing ICFP Programming Contest Programming Language Design and Implementation Symposium on Principles of Programming Languages
13	Norman Ramsey Associate Professor Department of Computer Science Tufts University Medford, MassachusettsEmail: Phone: + Add to Reading List Source URL: www.cs.tufts.edu Language: English - Date: 2013-11-25 15:39:10 Computer science Software engineering Computing Functional programming International Conference on Functional Programming Programming Language Design and Implementation Symposium on Principles of Programming Languages SIGPLAN ECL programming language Association for Computing Machinery Programming language theory
14	Michael D. Adams Address: 350 S 600 E / Apt. 105 Salt Lake City, UThttp://michaeldadams.org Add to Reading List Source URL: michaeldadams.org Language: English - Date: 2015-12-10 14:21:34 Computer science Functional programming International Conference on Functional Programming Academia Symposium on Principles of Programming Languages Computing ACM SIGACT SIGPLAN David Ungar Programming Language Design and Implementation
15	Ilya Sergey C URRICULUM V ITÆ February 2016 Add to Reading List Source URL: ilyasergey.net Language: English - Date: 2016-03-01 06:31:32 Computing Software engineering Computer programming Functional languages Scripting languages Symposium on Principles of Programming Languages International Conference on Functional Programming Object-oriented programming languages Programming Language Design and Implementation SIGPLAN Actor model European Symposium on Programming
16	Daniel R. Licata Personal Information: E-mail: Add to Reading List Source URL: dlicata.web.wesleyan.edu Language: English Type theory International Conference on Functional Programming Programming language theory Homotopy type theory Twelf Dependent type Logical framework Functional programming SIGPLAN Programming language Symposium on Principles of Programming Languages Agda
17	Sam Tobin-Hochstadt School of Informatics & Computing Indiana University  S. Woodlawn Ave. Bloomington, IN  Add to Reading List Source URL: homes.soic.indiana.edu Language: English - Date: 2015-01-14 12:11:36 Software engineering Computer programming Computing Functional languages Association for Computing Machinery Matthias Felleisen International Conference on Functional Programming Scheme SIGPLAN Racket European Symposium on Programming Symposium on Trends in Functional Programming
18	Alan Schmitt 21 February 2012 CV Birth: 02 AprilNancy, France) Add to Reading List Source URL: alan.petitepomme.net Language: English - Date: 2014-01-18 03:32:54 Software engineering Computer science Computing Boomerang Functional programming Symposium on Principles of Programming Languages International Conference on Functional Programming Benjamin C. Pierce SIGPLAN Coq French Institute for Research in Computer Science and Automation Research Institute of Computer Science and Random Systems
19	Curriculum Vitae BENJAMIN F. GOLDBERG Courant Institute of Mathematical Sciences Department of Computer Science New York University Add to Reading List Source URL: cs.nyu.edu Language: English - Date: 2014-09-02 18:48:16 Computing Computer science Software engineering Functional programming International Conference on Functional Programming Programming Language Design and Implementation SIGPLAN Compiler Symposium on Principles of Programming Languages Association for Computing Machinery ACM Transactions on Programming Languages and Systems Functional languages
20	The Complexity of Flow Analysis in Higher-Order Languages David Van Horn The Complexity of Flow Analysis in Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2009-08-14 14:13:52 Models of computation Notation Programming language Lambda calculus Control flow analysis Algorithm International Conference on Functional Programming Functional programming Computational complexity theory Theoretical computer science Applied mathematics Computer science